Properties of Vertical Angles